منابع مشابه
Global Stabilization of Attitude Dynamics: SDRE-based Control Laws
The State-Dependant Riccati Equation method has been frequently used to design suboptimal controllers applied to nonlinear dynamic systems. Different methods for local stability analysis of SDRE controlled systems of order greater than two such as the attitude dynamics of a general rigid body have been extended in literature; however, it is still difficult to show global stability properties of...
متن کاملStabilizing Hybrid Control Laws
Abstract: Hybrid control laws often naturally arise in stabilization problems with constrained control. These control laws are sometimes not smooth which can lead to difficulties in stability proofs. In this paper we show that for a certain class of hybrid systems the stability properties follow from the stability properties of an appropriate linearization. As an application we show that surge ...
متن کاملOptimal Control Laws for Traffic Control
In this paper we develop optimal control laws for traffic networks. A standard traffic flow model is used to formulate the traffic control in terms of " on-off " strategy for the traffic signals. It is of the form of the optimal bilinear control problem with the binary constraints. We develop a Lyapunov function based feedback law for minimizing traffic congestions and stabilizing the traffic f...
متن کاملConservation Laws in Optimal Control⋆
Conservation laws, i.e. conserved quantities along Euler–Lagrange extremals, which are obtained on the basis of Noether’s theorem, play an prominent role in mathematical analysis and physical applications. In this paper we present a general and constructive method to obtain conserved quantities along the Pontryagin extremals of optimal control problems, which are invariant under a family of tra...
متن کاملClawZ: Control Laws in Z
ClawZ is a prototype tool whose objective is to link the Simulink control engineering tool, from MathWorks, with the dialect of Z. It provides a bridge between the use of Simulink to define control law diagrams and a tool to formally prove compliance between Ada and Z. The tool has been used as part of the formal proof of a Non-linear Dynamic Inversion flight control system comprising 37 pages ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 2009
ISSN: 0028-0836,1476-4687
DOI: 10.1038/461156a